4

Decidability of opacity verification problems in labeled Petri net systems

Year:
2017
Language:
english
File:
PDF, 682 KB
english, 2017
6

Verification of State-Based Opacity Using Petri Nets

Year:
2016
Language:
english
File:
PDF, 1.18 MB
english, 2016
22

Impact resistance of oil-immersed lignum vitae

Year:
2016
Language:
english
File:
PDF, 1.51 MB
english, 2016
30

Erosion-Resistant Surfaces Inspired by Tamarisk

Year:
2013
Language:
english
File:
PDF, 1.92 MB
english, 2013
35

Marking Estimation in Labelled Petri nets by the Representative Marking Graph

Year:
2017
Language:
english
File:
PDF, 465 KB
english, 2017
39

A Novel HARQ Scheme for SCMA Systems

Year:
2016
Language:
english
File:
PDF, 178 KB
english, 2016
41

Active Anti-erosion Protection Strategy in Tamarisk (Tamarix aphylla)

Year:
2013
Language:
english
File:
PDF, 1.01 MB
english, 2013
44

Observation Equivalence of Petri Net Generators

Year:
2014
Language:
english
File:
PDF, 1.04 MB
english, 2014
45

Fault Diagnosis in Partially Observed Petri Nets Using Redundancies

Year:
2018
Language:
english
File:
PDF, 4.14 MB
english, 2018